|
Daniel Jackson (born 1963) is a Professor of Computer Science at the Massachusetts Institute of Technology (MIT). He is the principal designer of the Alloy modelling language, and author of the book ''Software Abstractions: Logic, Language, and Analysis''. == Biography == Jackson was born in London, England, in 1963. He studied physics at Oxford University, receiving an MA in 1984. After completing his MA, Jackson worked for two years as a software engineer at Logica UK Ltd. He then returned to academia to study computer science at MIT, where he received an SM in 1988, and a PhD in 1992. Following the completion of his doctorate Jackson took up a position as an Assistant Professor of Computer Science at Carnegie Mellon University, which he held until 1997.〔(【引用サイトリンク】title=Prof. Daniel Jackson )〕 He has been on the faculty of the Department of Electrical Engineering and Computer Science at MIT since 1997. Jackson is also a photographer, and has an interest in the straight photography style. The MIT Museum commissioned a series of photographs of MIT laboratories from him, displayed from May to December 2012, to accompany an exhibit of images by Berenice Abbott. Jackson is the son of software engineering researcher Michael A. Jackson, developer of Jackson Structured Programming (JSP), Jackson System Development (JSD), and the Problem Frames Approach. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Daniel Jackson (computer scientist)」の詳細全文を読む スポンサード リンク
|